Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
591	The NL2KR Platform for building Natural Language Translation Systems Vo Nguyen, Arindam Mitra and Chitta Baral School of Computing, Informatics and Decision Systems Engineering Arizona State University {nguyen.h.vo, ami Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2015-04-29 23:47:18 Science Computational linguistics Meaning Semantics Natural language processing Speech recognition Parsing Machine translation Formal grammar Linguistics Logic Formal languages
592	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.cnr.berkeley.edu Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
593	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2015-03-19 08:23:41 Functional languages Type theory Logic in computer science Theoretical computer science Formal methods OCaml Coq Type system Formal verification Software engineering Computing Programming language theory
594	Evolution Complexity of the Elementary Cellular Automaton Rule 18 Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Mathematical proof Pumping lemma for regular languages Formal languages Mathematics L-system
595	Conditional Circular Coinductive Rewriting with Case Analysis Joseph Goguen1 , Kai Lin1 , Grigore Rosu2 Department of Computer Science & Engineering University of California at San Diego, USA 2 Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2003-01-31 19:38:39 Logic Logic in computer science Mathematical logic Model theory Rewriting Monad Structural induction Interpretation Mathematics Theoretical computer science Formal languages
596	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: dssm.unipa.it Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
597	Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs Add to Reading List Source URL: raweb.inria.fr Language: English - Date: 2012-03-09 11:37:19 Functional languages Type theory Logic in computer science Procedural programming languages Formal methods OCaml Type system Coq ML Software engineering Computing Programming language theory
598	Bor-Yuh Evan Chang http://www.cs.colorado.edu/∼bec/ + (phone) + (fax) Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2015-02-01 19:26:08 Principles of Programming Languages Formal methods Programming Language Design and Implementation Computing Formal verification Model checking SIGPLAN Program analysis Association for Computing Machinery Computer science George Necula
599	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: ftp.igh.cnrs.fr Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
600	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:01 Theoretical computer science Regular language String Regular expression Kleene star Formal grammar Concatenation Empty string Deterministic finite automaton Formal languages Mathematics Combinatorics

UPDATE